전제를 참으로 만드는 변수값을 찾는 프로그램
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
초콜릿먹으니기분이괜찮아짐 초콜릿하나에휘둘릴정도기분이라니...
-
-
면접까지 끝나니까 정말 뭘해야 할지 모르겠네요..추천해주실수 있나요
-
동생 새끼랑 전쟁 뜨러 간다
-
뀨뀨 15
뀨우
-
언 89 미 82 영 2 생윤 94 사문 94
-
대성캐쉬 남아서 대리구매 해드립니다 인증 가능 진짜임.. 10프로 할인해드릴게요...
-
공모 떨어졌나 0
1주일 전에 보냈는데 아직까지 답장 없는거 보면ㅇㅇ..
-
화들짝!
-
저녁ㅇㅈ 3
배달비 ,매운탕까지 3.8ㄱㅊ한데
-
나 그때 뭐 했지
-
임신함
-
현우진 4
예비 고3인데 수학 상 하 원 투 미적분 확통 전부 시발점 들었습니다. 이번...
-
5군데정도 지원했는데 한군데서 면접 연락오고 나머지는 지원서를 읽지도 않네 원래...
-
남은 6년동안 뭐해야함?
-
이제 좀 의대 붙여주면 안 되냐
-
기절한 다음에 금요일에 일어나고 싶다ㅠ
-
졸업합니다 드디어 아 이번에 대학 못 붙으면 재수하려고요
-
오늘의 명언 바람과 파도는 항상 가장 유능한 편에 선다. 0
the winds and waves are always on the side of...
-
인증해✊✊
-
나 초6땐 1
단원평가 80점받고 학교끝나면 우르르 놀이터가서 지탈하고 컵떡볶이랑 슬러쉬먹고...
-
좋아하는 유튜버입니다. 다른 재밌는 영상도 많아요
-
저런애들 겉만 멀쩡하면 아무차별안겪나?
-
3개월 다니고 때려침
-
꿈을 향해 달리기
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 돌아버리겠네 진짜 가산점 왤케힘드냐
-
지방살고있는데 돈은 문제없구요 어디가 더 좋나요?
-
초6수준 글쓰기가아닌데?
-
-
사실 네이버카페 포함하면 유치원부터긴함
-
라인좀ㅠ 6
내신 1점 후반인데 교과우수로 고대 안되려나..?
-
다들 급하게 돈 많이 필요할땐 어떻게 벌어? 쿠팡말고 추천좀
-
이원준쌤 커뮤픽 2
원준쌤 자꾸 커뮤픽이라구 하셔서 친구들이 이원준쌤 들을거라하면 커뮤니티하냐고 놀려요 ㅜ(하긴함)
-
싸이의 강남스타일이 나왔다 그때 태어난애가 오르비를한다고? 돌아가....
-
메가대로만 나오게 해주세요
-
얼마나 나요? 지엽적인 거 다 포함했을때
-
추우니 찰떡이군
-
여긴 잼민이들이 너무 많음;;; 힐링게임 하고프다
-
심심하면 답쓰고가주삼 작년에친사람은 예비번호도 써주심 ㄱㅅㄱㅅ
-
커뮤 7년차 1
07년생… 그게바로나야
-
화1보다 어렵네요
-
김승리 풀커리 1
수학 안 하는 사람이면 김승리 쌤 풀커리 안 벅찰까요?
-
팔걸어도되나요
-
3합 4(과탐 1과목) 몇 프로 예상함?
-
탈퇴하려고봤더니 13
이거탈퇴어떻게하지
-
Image caption
-
통합사회과학 보고싶은 어린이들만 과탐하세욧~
-
뭔가 동질감 느껴지노 나는 군대월급으로 책 사려는데
-
https://orbi.kr/00039176755/90%EC%9D%BC%EC%9D%8...
-
나 릴스봐야돼 릴스도끊어야하는데
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절