전제를 참으로 만드는 변수값을 찾는 프로그램
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
으 추워 4
으슬으슬
-
10번에서 그래프 모양 잘못 생각해서 답안나오고 개말리고 틀림ㅋㅋㅋㅋ 88점인데 1컷 89네ㅋㅋㅋ
-
초판 친필싸인 한정판... 이걸 사 말아
-
서바나 더프랑 비교했을때 난이도나 퀄리티 괜찮나요?
-
양놈 27
존맛 흐흐
-
140일차
-
한시간만에 52억 14
-
다들 맛저하세요 7
맛있겠죠 흐흐
-
이제 05 06 mz들 군대에 모이는데 좀만 뭐라해도 바로 마편 찌를텐데 부조리...
-
생명 스킬강의 2
3등급 목표라 다인자, 가계도, 돌연변이 버리려고 했는데 막전위가 어려워서 스킬강의...
-
9평 50이고 평가원 재배열모의고사보면 5분이상씩 남기고 다맞는데 사설만 풀면...
-
배경지식이랑 국어 11
배경지식이 글 읽는데 도움이 된다는건 독서론에서 많이 나온 얘기인데 얼마나 공부를...
-
과잠 부럽다 2
부럽다
-
-
시험이 아무리 쉬워도 80점대 고정 이었다가 최상의 컨디션에서 친 10모 93점...
-
등급컷 잡히는거 현실에 가까운편인가요? 더프 보정컷 전마냥 그런 느낌아니고 얼추 맞는지 궁금
-
N제만 두개가있네 ㅎㅎ 식센모는 전설이다
-
옯서운사실 0
22수능 기하 1컷은 88점이다
-
이매진 핫백 이런거 새 제작지문도 아니고 과년도 모고나 이매진 월간호에 있던거...
-
8덮이 2였는데 9덮이 3 나오고 김승모가 4 나오는데 왜 이럼?
-
우울해 12
-
시험 끝나면 1
책상 정리 한번 싹 하고 방 치우고 노션 마스터 하고 엘소드 공명작 해야지 진짜...
-
공부 제일 잘하는사람이 누구임?정벽?
-
이 지문만보면 작년 겨울이 생각나구. . . 수능끝나고 애틋한 그 분위기와 잘 어울리는듯요
-
나 모르게 지하철 한번씩 더 타는것같음
-
X같은게 얘가 cs다쳐먹음
-
노을졋던쪽근처에 밝은별 개밥바라기가 떠있음. 그래그래 동방이각인 그 금성말이야....
-
생지 난이도 미쳤다던데..
-
음 그래그래 7
형은 진짜 1등을 했어
-
쪽지 주시면 아이디 보내드려요~ 추천부탁드려요 같이 정시 부수자 ㅋㅋ
-
여캐일러 투척 11
음 역시 귀엽군
-
시간 낭비 좀 했는데 찾아보다보니까 자부심 느끼는게 눈에 보인다고 해야되나
-
-
그게 아니라면 작수보단 올라야지...
-
21번 도형에서 선을 거기다가 그을줄은 상상도 못함...
-
어째? 그것이 옳은 일이지. . .
-
2017학년도 9월 평가원 나형 21번 입니다 a(x-2)-1<0 (2,-1)을...
-
경제러분들 민준호 파이널 모고 풀어보신분 계신가요?
-
-
전공 하나 망했음...
-
치킨 추천 좀 해다오 18
여러가지 먹어봤지만 날 만족시킨건 아직 없음
-
진짜 미칠 거 같음 원래 후비루+편도 같이 있던 거 나아서 그나마 후비루만 남고...
-
에휴
-
무보정 1 나오나요
-
??
-
뭐가 더 어려우셧나요?
-
내일 10덮침 2
다주겨버리겟서
-
쭉보니까 쉽지않아보이던데..
-
오늘 풀었는데 무난한것 같으면서도 뭔가 잘 안치고 나가져서 힘들었ㅇㅅ요,, 화작...
-
나도 이제 오르비 고인물?
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
SAT problem
이프로그램으로 해결했다고 보면 멍청한건가여
SAT problem은 “빨리” 푸는게 문제임
빨리 풀면 P-NP 해결한거고.
빨리의 기준은 다항시간.
저걸로 해결했다하면 멍청한거
1.SAT problem은 “빨리” 푸는게 문제임 : 이해됨
2.빨리 풀면 P-NP인거고 : 이해안됨
3.빨리의 기준은 다항시간. : 이해안됨
컴공전공얘기예요
나무위키에 그래도 비전공자 설명 있음 P-NP ㄱ
왜 멍청한게되죠?
SAT를 풀었다고 할때는 다항시간 알고리즘을 찾았다고 할때죠 보통
전 속도신경 안쓰고 전제가 참이되는 변수값 예를들면 A->B, A=T 가 전제면 B=T 가 유도되고 이런걸 원함