전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://susi.orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제발 1,2지망 합격 기원
-
물1은 배기범 개념 35강 정도까지 들었는데 미적은 재미 없어서 시발점 띰4까지만...
-
ㅋ
-
속보) 세종대 최초합 12
한서삼 7월 반수 시작 -> 세종대 붙었습니다 살면서 자퇴는 처음이라... 귀한...
-
세종대 공과계열 1
250명 모집에 예비 170후반인데 붙을까요… 작년에는 한바퀴보다 조금 더 돌았어요
-
대가대 약대 빠지실 분?
-
인하대 자유전공융합학부 자연 모집인원 150 예비132 될까요.. 재수라서 간절한데
-
좋은 외모
-
밖에 돌아다니는 커플들 아니 주변 친구들만 봐도 그저그런 얼굴이나 솔직히 조금...
-
이것은 기적임요 드디어 실력 좀 오르나
-
i am human am i human? 나는 사람이다 나는 사람입니까?
-
어제 서울대 발표로 드디어 기나긴 저의 입시여정이 끝났습니다. 운좋게 정시기다리는...
-
에휴
-
성대 경영과 유니스트 14
추합 기다리는 중인데 성대 경영과 유니스트 중 추합되면 어디를 가는게 나을까요?
-
나한테 학벌좋은곳은 하버드 예일 프린스턴 스탠포드 mit 서울대임
-
이거는 ㄹㅇ 어케품 20
-
좆같은 바람
-
지금 김승리 올오카 듣는데 문학은 만족스럽지만 뭐랄까 국어는 체급이 안 오르는거...
-
여러분 정말 죄송합니다 81
오늘 오전 작성했던 글에서 제가 많은 분들이 기분 상하실 만한 워딩을 사용했습니다....
-
너무 많은 기만글로 인해 열등감으로 우울해져서 그런 거였는데 메인글 보니 뭔가 터졌구나
-
다자녀 장학도 '4인 가구 중위소득'으로 계산하는거 좀 빡침 난 셋째라서 8분위...
-
솔직히 오르비하고 더 학벌 따지게 된건 맞는 듯 한약수는 꼭 한번씩 까여서 긁히고…...
-
지거국메디컬은 1
지사메디컬보다 등록금 저렴한가?
-
둘 다 강의는 안듣고 책만 사려고 하는데 뭐를 추천하나요? 매월승리는 연계 대비할...
-
넘 추워..
-
ㅇㅇ
-
제가 이번달에 여행을 좀 길게 가서 오티나 이런 곳 참여가 힘들 것 같습니다 그래서...
-
스카이 메디컬 뱃지가 부러워.. 몸이 뜨거워..
-
누백 2%이내로 외대 으음... 등록금 공짜는 좋다만은
-
슬프네
-
독학재수하면 0
비용 200안에 끊을 수 있음 스카 + 실모 + 원서비 (+ㅇ****ㅂ) 사람마다...
-
이거 보니깐 걍 삼수하기 싫어지네 ㅋㅋㅋ
-
고민중입니다 몸이 힘들 수 있는건 방어소대 인데 사람이나 분위기가 괜찮고 몸은...
-
삼수할 생각 없었는데 진짜 어떡함…?
-
차의과 약대 4
예비 줬나요? 차의과 차대 약대 조발
-
1컷이 47~48 뜨는 추세인데 그게 다른 탐구마냥 특정 고난도 유형에서 틀리는...
-
인하대 산공 (최초합) vs 아주대 디지털미디어 (예비3번) 붙으면 어디가나요?...
-
빵이 자주나는듯 단국 영어감점 15점하니깐 올해 단치 빵났고 건글의 영어감점...
-
전액 등록금!
-
언제쯤 결정날까요?
-
충북대 의예는 영어를 2점 감점시키는 학교라서 겉으로 보면 영어 감점이 되게 적은...
-
치마에다 배꼽티입고
-
막전위랑 근수축을 하고 있는데 위기다. 도와줘요 종절이 형
-
서울대 점공인데 지금 1등이 예비 미발표 이렇게 뜨는데 이거 뭐죠? 1등이 최초합이...
-
한 번 더하게 될진 모르겠지만 처음받아보는 합격증이라 기분좋네요~ 다들 건승하길 빌겠습니다!
-
앙 개꿀~~~
-
사탐공부법 0
정법사문인데 두분 다 교재기반이 아니시더라구요 (정환t 여름t) 개념을 처음하는데...
-
부모님 월급이 대충 세후 10만원 좀 넘게 올라갔다고 들었는데 그게 그렇게 영향이...
-
세종대 떴다 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 해결했어요 << 부적절