전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://snu.orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
건대 공대가는거랑 취업에서 누가 더 유리함?
-
11덮 국어 3
풀기에 괜찮나요??? 저번주에 풀려고 했느데 저번주에 김승모 완전 망하고 또...
-
성격차이—-—- 남성양육비, 재산분할 남자의 외도——- 남성양육비, 재산분할 여성의...
-
20220722 4
이거 왤케 어렵지 다른 보통의 22번보다 더 어려운 듯 231122랑 난이도 면에선...
-
제보를 한답시고 pdf에 할X스를 담아 보내면 되지 않을까... 예를 들어 킬캠...
-
ㅇ 살려줘애줘 형만튀ㅛ면ㅇ다인? 아발아
-
KK 모의고사 지신 모의고사 뭐로 부르지
-
겁나많음 그냥 풀 수 있는데까지 풀어야지…
-
사자후 한번 질러야되나
-
97점(91min/24번) 검토도 제대로 못하는 시간을 써버렸는데 이 정도 실수면...
-
수능 9일전.. 0
뉴런 수1은 다끝냈고 뉴런 수2는 삼차함수 비율관계부터 듣고있는데... 빨리...
-
수능 얼마 안 남은 게 체감되네
-
너 쌓여있잖아 3
알림이
-
행성 공전주기 행성 크기 행성 질량 셋 다 아예 독립적인 거죠?? 뭐 비례하고 그런 거 없죠??
-
-
폰르비라 글씨 크기 못 키우는듯
-
자격증 4점에 가산점 채워서 남은기간 항교안만 준비하면서 편하게 가는데 출결을...
-
ㅊㅊㄸ ㅂㄱ ㅅㄹㅇ ㄱㄱ 힌트 : 영어 섞임
-
a국은 b국울 자국의 식민지로 만들었고 b국의 건축 기술자둘을 a국으로 강제...
-
6시간 반?
-
-
냐루코쨩 스키…,,,
-
ㅇㅇ.. 위험하다면 위험한거임
-
하 1
하하
-
잠자기싫다 2
하지만자야해
-
저희 때는 '신' 그 자체였는데 증원 되고 학생 줄어든 지금 고등학생들한테도 '신'...
-
그때까지 자면 안된다
-
사랑하는 사람과 하는 포옹은 얼마나 기분이 좋을까
-
아니뭐가문젠데
-
고2 수학 0
모고 턱걸이3인데 방학 때 수분감 뉴런 병행하면서 대치 현강 들을라 했는데 후기...
-
분명 마취해도 그 ㅈㄴ 시리고 지지는듯한 느낌은 너무 고통스러움. . .
-
춥다 1
겨울인가
-
심찬우 교재 0
예비 고3인데 심찬우 선생님 교재 언제 새로 나오나요?
-
과외를 하려면 그 과목을 ㅈㄴ 잘해야해서 모슌됨
-
교대 등급 2
진짜 망해도 몇 등급 정도 나와야 갈 수 있나요??
-
나트륨에 몸이 절여지는
-
가게주인이 물건사간 구매자가 미성년자인거 알게돼서 철회권행사하려했는데 미성년자...
-
내일은 또 모르잖아요
-
1시다 자라 4
-
1.답 비교단 2.마음은 이미 서울대 3. 예상학교 알려주ㅅㅔ요ㅠ 4.재수학원 ㅊㅊ...
-
사랑이 변하나요? 죽을때까지 약속아닌가요?
-
생명 비유전 남은기간동안 확실하게 잡을 수 있을까여?? 4
그냥 공부하다보니까 유전이 너무 재밋어서 유전만 하다보니까 유전은 다맞고 비유전에서...
-
아니면 좀 걷고 앉나요 걸으면 몇십분 정도 겇으시나요 저는 밥먹고 산책하고 세시간...
-
햇반 하나 깔까 2
남은 밥이랑 먹었는데 찌개가 애매하게 남았네
-
텐더 1
오마베이베
-
욕설 사과문. 8
저는 오르비 활동중 "스물두우우울님"이 올린 게시물 댓글에 장난정도가 아닌...
-
이감 등급컷 1
이감 등급컷은 수능 예상컷인거나 마찬가지에여? 왜 등급컷이 모든 회차가...
-
못해도 99..?
-
이번 겨울도 로맨틱하지 않을 예정 ㅋㅋㅋㅋ
-
수능 긴장 꿀팁 6
시험 때 최고점수 찍을 생각말고 못했던 점수보다만 잘봐야지하고 푸셈 내 실력은...
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절