전제를 참으로 만드는 변수값을 찾는 프로그램
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
불만이 다들 많으시네 흐으으으으으으음 어차피 걍 참고용으로 받은거라 큰 기대는 없었음뇨
-
25뉴런도 아니고 좀 에반가
-
메가패스는 없는데 책이 생겨서 ㅇㅅㅇ… 수2 기억 살리기용으로 혼자 해설 보고 문제...
-
고2 때는 중경외시를 희망했고 고3 때는 광명상가까지만 가자고 생각했고 재수 때는...
-
저 반지 9호써요
-
작수 3등급 나왔습니다. 유전으로만 봤을 때 어느 선생님이 더 낫나요? 비교 부탁드립니다...
-
맞팔구함 3
ㅅㄱㅅㄱ
-
등교난이도 수원이 압도적으로 쉬움 서울캠 맨밑에서 퇴계관인가 건물번호 31인곳 가기 난이도 씹헬임
-
냐옹 냥 냥 11
애옹
-
ㅠㅠ제발...
-
초반 경쟁률 5
초반부터 경쟁률이 높다가 마지막 2시 경쟁률에서도 38명이나 미리 지원했던 과인데...
-
진짜 고3되니까 서성한이 진짜 높은 학교고 중경외시도 빡세구나라는걸 느꼈음.
-
언매 무적의 인강 조합 31
유대종 언매총론 >> 전형태 문법클리어 진짜 신. 현역때 언매총론, 재수때...
-
강민철이 강조한 독해법 그대로 끌고 가면서도 216식 스키마 구조도로 논리구조 파악하면서 뚫어내는
-
기만하고가세요 18
자랑 ㄱㄱ 전 수능 2주 전부터 수학 던지고 커하찍음여 초라한 백분위 98
-
ㅇㅈ 12
나도 손만 보면 여자같네…
-
-
실검 1위가 왜 6
ㅋㅋㅋㅋㅋ
-
수학 Re 0
알텍 어떻게 회독하나요 허수
-
작년 제외하곤 항상 20일전후에 조발했던데 작년에 안 했으면 올해도 안 하는걸까요
-
ㅜㅜㅜㅜㅜㅜㅜㅜㅜ
-
봇치 국어 봇치 됨 12
오늘 24수능 . 25수능 국어를 한번 모의로 응시해봤어요... 나름 실전하고...
-
부모님이 그렇게 말씀하심요
-
투표
-
고대는 언급이 왤케없노 15
인기가없나
-
수1은 그래도 할 만한데 수2 난이도가 에바임 ㄹㅇ
-
화제성도 강평ㅋㅋ
-
얼른 씻고 언벅싱을해야겠구만
-
25수능 성적이 없어서 시대나 강대는 유시험 쳐서 가야할거 같고 아님 걍 집근처...
-
수험생호ㅓㄹ을 최근에 햇거나 할 사람이면 진짜 꼭봐야함
-
이제 시발점 끝냈는데 현강 김범준 쌤이랑 이정환 쌤 중에서 누구 듣는게 좋을까요?...
-
수정된 9번 발문
-
나쁜 의미가 아니라 원론적으로 그런거같음 안 불안하면 몇십만원 태울 일이 없지 설마...
-
중대 ict 6칸인데, 이걸 적정에서 소신이라고 하신거지...?? 덕분에 불안해죽겠다 ㅜㅜ
-
-
약간 왼쪽 눈썹이 보이게 가르마펌ㄱ?
-
아무거나 물어보세요
-
곽상현대학교 ㄷㄷ
-
교재 사겠다고 하니까 그냥 내일 아침에 사라고함 내가 내일 이걸로 공부해야한다니까...
-
대체 뭐임? 어차피 원서 이미 접수 했잖아 정신건강에만 안좋은거 아니냐 경쟁률...
-
3떨 불안 9
왜 내가 쓴 과는 다 경쟁률이 높은거지…
-
[예고] 내일부터는 직접 지문에 적용하는 칼럼으로 돌아올게요 5
교훈만 적기에는 흡수하기에 불친절한 것 같네요 더 좋은 칼럼으로 돌아올게요 항상 감사합니다
-
아
-
여자인건 어케인증하지 17
ㅜㅜㅜ
-
3떨할거같아 무섭다
-
ㅋㄹㅅ 컨설팅 비추 57
학부모입니다. 74만원이라는 거금이 너무 아까운 컨설팅이었습니다. 다른 컨설팅 처럼...
-
생윤 개념 인강 0
생윤 쌩노베인데요.. 메가패스 구매했는데 어준규 선생님 개념 강의 한 바퀴 돌리고...
-
스블 인강 듣고 있는데 진짜 개지리네 관점좀봐 ㄷ ㄷㄷㄷㄷ 나같은 저능아들을 위해...
-
외무고시나 시험 이쪽으로 안빠지고 순수 대기업 취업이요.
-
진짜로 이때 하나요..? 한달동안 고문을 당해야된다고 ㅋㅋㅋ
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절