전제를 참으로 만드는 변수값을 찾는 프로그램
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
1. 일을 해결하는 프로세스를 계획하는 TF를 만든다 2. 일을 해결하는 프로세스를...
-
화장실 아닌거같고 갑자기 아파서깼는데 약간 속이 더부룩?하고 배가 스르르 아프다가...
-
바로 지원함
-
진학사5칸 텔그기준 55퍼떠요
-
전사의 힘스탯 같은거임 암기못하는데 공부하려고 하는건 인트 찍고 전사 하려는거랑...
-
집에서 맥도날드가 너무 멀리 떨어져있음 조조같다
-
anything ok
-
감튀 웨지감자 해시브라운 크아악
-
호빠에서 일할정도면 10
얼마나 잘생겨야함? ㅈㄴ 궁금하네
-
저 110렙 넘김 ㅎ
-
틀닥은 가라 4
펨코 오유 웃대 하나 골라서 ㄱㄱ
-
1.마스크껴서얼굴가리기 2.다이소거울보지않기...
-
ㅈㄱㄴ
-
예체능, 유투브, 사업은 재능이라는 핑계로 시도조차 안하면서 정작 공부야말로...
-
-
공부도 안하고 폰만 보면서 계획만 세우는데 진짜 자괴감든다 오늘 한것도 없고 남들은...
-
세점먹으면 질리는 개거품음식인데
-
-
동덕여대 라커지우는건 AI가 대체할 수 없음 거기다 이런 일들은 앞으로 더 많아질 예정임
-
여전히 ㅈㄴ 많기는한데 대신 반일도 줄은거같음 제식갤 유저가 줄었나 예전에는 선넘는...
-
똑똑 3
다들 자니?
-
물리50 1
물리50 백분위 99나 100나옴? 주위에 만점자가 생각보다 많아서 걱정이네
-
화2 해볼려는데 1
화2 하려면 1내용 어느정도 알아야된다고 해서 그런데 문제는 제가 화학이 아예...
-
투명하다 투명해 1
이제 좀 정신이 들어?
-
내가 자살한다면 3
내 흔적조차 발견하지 못 할 것입니다 진짜로
-
ㅈㄱㄴ
-
왜냐면 그건 4수해서 서울대로 가라는 신의 계시나 다름없기 때문 그냥 완전 럭키빗치...
-
아오 뭐야 12월이네 10
곧 크리스마스
-
수능 전엔 공부가 고통 수능 끝나니까 장염이 고통 성적표 나오면 점수가 고통 언제쯤...
-
반가워 8
-
국어는 물로 나와서 변별 안되고 수학 13까지는 누구나 맞출 정도로 공통 개쉬워서...
-
존재한다 안한다 설공은 답변 ㄴㄴ하셈뇨
-
-
양의 실수 전체의 집합에서 정의된 두 연속 함수 f, g에 대하여 (가) 방정식...
-
질문해드림뇨 27
오르비살리기프로젝트
-
젊은것들이 벌써자?
-
잔다고 하는글 절 대 안잠 이건 연역적으로 증명됨뇨
-
4벙으로 푼거 기억나는데 가채엔 왜 3이라고 돼있을까 1번문젠데 한문제에 등급이왓다갔다 ㅠㅠ
-
누가 오르비에 독을 풀었는가...
-
재미있는 N제 풀기나 해야겠음뇨 드릴 딱 대 ㅋㅋ
-
전쟁은 어떨때 하냐는 글에 씨발년이 꼴받게 할때 라는 답이 생각나서 써본다
-
밤샘공부하실분 8
오늘의 과목은 오르비뻘글학임뇨
-
아 진짜 무서움 5
어둠의 세력 뭐야 심지어 조회 수 중복으로 안 올라가지 않음?
-
시간 왜 이롷게 지남뇨 자야겠음뇨
-
마킹실수 6
미치겟어요 지금 수학 19번 마킹할때 백의자리에 십의자리 쓰고 십의자리에 일의자리...
-
쓸데없는 걱정인걸 알지만서도...
-
부모님께 죄송함 4
항상 큰소리 땅땅 쳐놓고 공부 안하고 잠만처자고 돈 주라하는 내가 싫다
-
복권 3등 누군가한테 탈취당하니 재탈환할 때까지 복권 계속 돌림ㅋㅋㅋ
-
다들 안 자?
-
나가기싫다 10
내가왜간다고했을까
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절