전제를 참으로 만드는 변수값을 찾는 프로그램
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
존잘은 발닦고 자라. 11
다시 존예가 인증할 차례다
-
아...
-
질받하고 자겟습니다 24
무슨 질문을 하든 진실만을 말하겠슴뇨
-
너무졸렵다 6
-
ㅇㅈ 15
ㅈㅌ
-
도와줘라
-
4시 전엔 잔다 5
반드시 그래야만 해. 9시에 기상해야 한다고.
-
ㅇㅈ 2
3배각 공식 ㅇㅈ
-
26수능 잘봐서 5
서울대 합격해서 오르비 인증하고 싶다.. 25년도 소원은 서울대 최초합 뚫는거..
-
님이 이성한테 안 먹히는갑니다... 어떻게 아냐구요? 이씨발나도알고싶지않았어
-
마킹이나 가채점표 실수는 안했다고 확신할수있습니다 연대 경영이나 서울대 인문 가능할까요…
-
형아가 크리스마스 이브까진 해 오랬는데 시간이 안 나서 걱정이야
-
넌천재구나..
-
복싱하러 내잉 등록 갑니다.
-
국어 100이신 분들 11
누구 들었나용
-
이시간에깨잇는거 5
거의 한 4년만인듯
-
틀딱 기준 16
몇 년생부터임
-
그래도 큰 사고없이 무난하게 낸거같네욤.. 오류시비같은것도 없고 괴랄한 등급컷도...
-
자야겟다 2
진짜 잠뇨
-
센스는 타고나야 하는 듯.. 에효이
-
어떻게 고르는 건가요 고3때 정석민쌤 들으면서 와 정말 너무 명쾌하고 좋다 했는데...
-
통모짜핫도그 3
요즘잘자쿨냥이
-
인증 17
-
2호선 서울대입구역에서 적당한 출구로 나와서 따뜻한 인사와 함께 5511탑승
-
대학 학점 질문 3
학점은 어떤거로 매기는건가요 고등학교마냥 그냥 시험치고 교수가 채점하고 abc 주는건가요?
-
밤을 꼴딱 새고 쪽잠도 재낀 채로 하루 종일 몸을 혹사시키면 좀 잊어지겠지 어차피...
-
그게 나야 바 둠바 두비두밥~ ^^
-
선넘질받 16
잠와요
-
응애 9
오랜만에 사골 좀 우리자
-
화작 79 2
선택과목 다맞았는데 진학사 백분위 왜 74라뜸? 3컷 79~80으로 되어있으면서...
-
스터디 끝 1
순공시간 2시간 반 나머지 잡담 음 굿 열심히 했다
-
피자 시켜버립 3
놀라운 건 지금 주문을 받는다는 것..
-
오노추 1
-
솔직히 말할게오 6
이시간 까지 안주무신거 보면.. 인증 보고 싶으신분들 있어서 그런 아닌가..흠
-
못참고 걍 올림 5
. 잘생겼자나 한잔해~~
-
진짜잔다 12
쿨쿨
-
나도 엽사ㅇㅈ 7
깜짝 놀라버린거임뇨
-
감격스럽다 정말
-
응ㅇㅐ나애기 16
진짜임
-
저지금엣지러너노래들음 11
소왓두유원ㅡ
-
라는상상을해봄
-
전대 수시 0
전대 수시 학종 토목 3.84인데 내신 낮은퍈일까요
-
잘생겼을 때 -> 아니 얘가 왜 잘생김? 예쁠 때-> 아니 얘가 왜 여붕이임?...
-
키작고 늙고 병든 대학생인데 어캄뇨
-
ㄹㅇ 처음이면 어케 배워야하지
-
2구간이라 웬만하면 뽑힐것같음 그냥 알바 하지말고 1학기에 저축해둔 돈 쓰면서 살까
-
인증 14
은 ai로 ts한 저였습니다
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
SAT problem
이프로그램으로 해결했다고 보면 멍청한건가여
SAT problem은 “빨리” 푸는게 문제임
빨리 풀면 P-NP 해결한거고.
빨리의 기준은 다항시간.
저걸로 해결했다하면 멍청한거
1.SAT problem은 “빨리” 푸는게 문제임 : 이해됨
2.빨리 풀면 P-NP인거고 : 이해안됨
3.빨리의 기준은 다항시간. : 이해안됨
컴공전공얘기예요
나무위키에 그래도 비전공자 설명 있음 P-NP ㄱ
왜 멍청한게되죠?
SAT를 풀었다고 할때는 다항시간 알고리즘을 찾았다고 할때죠 보통
전 속도신경 안쓰고 전제가 참이되는 변수값 예를들면 A->B, A=T 가 전제면 B=T 가 유도되고 이런걸 원함
ㅇㅇ 그거 만드는거면 성공한건데
SAT 문제를 한번 구현해봤어요 << 적절한 표현
SAT Problem 해결했어요 << 부적절