전제를 참으로 만드는 변수값을 찾는 프로그램
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
삐용삐삐존X비상 12
좃댓드아아앙ㅇ아 사이렌존X 울리기 너네들은.오늘하루종읿뭐햣나요.^^??
-
수2 내신대비하는데 쎈>고쟁이>자이>뉴런,수분감 병행 이순서로 풀면됨?
-
할아버지 한명 젊은여자 두명 세분다 정신이 온전치 못하신 거 같은데 ㅠ 옷도...
-
임신 1
서기석
-
노베일기 이런시그로
-
파이널 이감 0
이감 파이널 시즌6이랑 이감 파이널 패키지랑 다른건가요
-
똥싼걸로 처벌받는거임?
-
개짜증나네
-
휘문이랑 외대부고 야구잠바가 많더라
-
난 집갈거야 2
그전에 산책할거야 피크민 큰모종 키워야대
-
은근 나쁘지 않음 남 눈치볼 필요도 없고 조용해서 좀 깨끗한데 가서 먹으면 괜찮을듯
-
맨날 6~70점대 뜨다가 오늘 처음 80초반뜨는데
-
화작 81점이면 몇 뜰까요..?? 맨날 시간 부족해서 문학은 거의 다 맞는데 화작...
-
공부하라고 0
왜 공부는 안 하고 패드만 쳐다보니
-
150일차
-
놀라운 사실 12
필자는 10월 말부터 성욕으로부터 벗어난 현자가 되었다
-
해줘요
-
또 닉 바꿀때가 됐네요 22
이번 닉은 이미 생각해 둔게 있어서 따로 공모는 안할 예정 맞힌 사람 만덕 드릴까요
-
방금 배달옴 뒤졌다
-
갑자기 일어나서 폰 켜니까 벌점이 200점 넘어가는 꿈 꿈 갑자기 생각나따
-
사유는.. 중경외시건동홍 라인 한정 자작입시분석기팔다가.. 크흠.. 이젠 절대 안그럽니다
-
연립하고 두 해를 a, -a로 둘 수 있는 근거가 뭔가요? a,b가 아니라
-
최저때문에 수학 안정4 받아야 하는데 남은 시간동안 뭐해야할지 모르겠어요...
-
왜지
-
8찬데 답지가없어요ㅠㅠㅠㅠㅠ 가지고 계신분 전송좀 부탁드릴게요
-
설맞이나 강x 고민 중인데 너무 어려운건 별로라
-
사람 많아서 무서웠음
-
윈터스쿨 보내주지 않음요?? 저희 학교는 작년에도 그렇고 강제로 붙잡으려고...
-
강사 빨리 확정되야 내년 커리 짜는데 언제쯤 다 확정되나요?
-
나코찡♡
-
개좃 임 이러는거임??? 얼마나 쉽길래 ㅋㅋ
-
덮치고 올게요 0
11덮 수탐 조지고 오겠슴다
-
풀이 과정 꼬라지ㅋㅋㅋㅋ 진짜 물2 실력이 완전 저조했구나 이때는... 과거 미적분...
-
큐브 돈 빨아먹기 16
쬬옵..쬬옵…
-
안 풀리는데요?? ㅋㅋㅋ 개망
-
블랙화이트가 내 첫 게임이었담말이야
-
일대일로 여러명이랑 친해지는건 피곤해서 포기함
-
카페에서 공부하는 놈들 너무 짜증나네 진짜 카페까지 와서 공부한다고 꼴값은 왜떠는거임?
-
저 사실 고양이임
-
아 담배마렵네 4
아으...
-
정신못차렸다
-
이거 ㄱ부분에서 우주의 양쪽 반대편지평선에서 출발한 우주배경복사가 거의같게...
-
ㅠㅠ 또 나만 어렵지..
-
-
화작 확통 영어 세지 사문 91 53 1 50 48 수학 커리어 로우 찍었는데 어떡하냐 씨발?
-
일반 인강사이트에서는 자료를 찾기가 힘드네요
-
지인선 모의고사 96점 12
미적 29번 제외 40분 걸림 60분동안 미적 29번 못품 ㅅㅂ
-
ㅈㄱㄴ 세줄요약: 도파민/핸드폰 중독된듯한 뇌 다 녹은 기분 듦 그럴때마다 공부...
-
나도 옯만추 해봄 15
의외로 오르비 애니프사 전부 미소녀 여.르비더라 놀랐음;
-
국어 시간 분배 3
정신데 전 제가 1등급 못맞는 거 알고 있어서 언매 15 독서론 3-4 독서 20...
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절