전제를 참으로 만드는 변수값을 찾는 프로그램
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
대성 패스와 메가 패스 있습니다. 문학 수특 수완 안 본 상태인데 확실히 문학에서...
-
최근 '삼성전자 위기론'이 대두된 가운데 정기태 삼성전자 파운드리사업부 부사장이...
-
오늘 작수이후로 처음 작수 20번 풀었는데 작수때랑 헤메는 과정이 똑같음 ㄹㅇㅋㅋ...
-
"모르는 척 한거니"...고양이의 '반전' 어학 능력 0
고양이가 영유아들보다 새로운 단어를 더 빨리 학습한다는 연구 결과가 나왔다. 일본...
-
한 2?3?명 빼고 다 차단했는데 풀기 귀찮아서 아직 안풀기는 옾챗 차단푸는법 모름 푸하하
-
부엉 2
엉부
-
아무리 노력해서 맞춰놔도 하루종일 머리 썼는데도 밤되면 쌩쌩해서 슬금슬금 잠드는...
-
언매 90 미적 92 영어 97 국사 28 생1 42 지1 36 생1은 찍맞 잭팟터짐 ㅎㅎ
-
현강계의 현우진급임?
-
킬러가 없고 중간 난이도도 널널한거 같은데...
-
나만 없어 7
고양이 아니고 친구 ㅅ.ㅂ.
-
하 6모 2 9모 1인데 오늘 사설 모고에서 3 쳐맞고 멘탈 터져서 눈에 영어가 안...
-
지금 하위권 문과계열특목고 다니고 있는데 3학년돼서 회고해보니 은근 개꿀인점이 보임...
-
지금 카페인 800미리 먹었구나
-
ㅇㅇ
-
세줄요약있음 일단 국어를 너무 못해여 3모 3(찍맞많앗음) 6모 4,9모 5...
-
어디가 좋아요? 전북대는 자과대 좀 특이하더라구요 둘다 해양쪽으로 보고있고 소신...
-
진짜 마적을 너무 못합니다 27까지는 무조건 맞추고 싶은데 뭘 해야될까요 제발 도와주십쇼 ㅠㅠㅠ
-
설맞이 하다가 뒤쪽 파트 맥시멈부터 너무 어려워서 손절 치고 서킷x랑 실모, 기출...
-
쌍사 인강 커리 1
권용기쌤과 이다지쌤중 누굴 들을까요..? 내신때 쌍사해서 수능으로도 선택하려고...
-
샤우팅마렵네 2
흐
-
이거 난이도가 시즌2를 상회하네요 이렇게 나오면 수능때 1컷 30점 후반대 아니려나요
-
美 종양수술 의사, 韓의 5배 보상… 주 50시간 근무 워라밸도 2
“혹시 배가 아프거나 대변에서 피가 나온 적 있나요.” 3일 오후 미국 뉴욕시...
-
78..?ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
화2러 궁금증 0
아니 아무리 그래도 브릿지가 15분 컷 할만한 셤자야? 재수생들 대부분 15분...
-
상황이 잘보이면 개산이 개떡칠이거나 아니면 수능엔 이게나올까 싶은 접현각 할선정리...
-
한국에서 돼지고기 가격이 소고기 가격보다 비싸지는 가능세계가 3
존재할수도 있을까요? 저녁으로 삼겹살 먹다가 문뜩 떠올랐네요
-
질문 받아요 15
공부하기시름 서울대 전컴 22 23 미적 100점
-
초성퀴즈 3
ㅋ ㅋ ㅎㅇㅂㅌㅇ ㅅㅇㅅㅎㄴ
-
언매 미적 생윤 사문 74 68 40 41
-
최적 교재 맘에 안듦… 김여름은 평이 안좋고
-
3학년때는 자습 많이 주나요? 고2 정시파이턴데 3학년때 확통,화작말곤 등급이...
-
"군대 안 갈래" 수사관 들이닥치자 5층 밖 뛰어내린 남성 4
병역법 위반 혐의로 수배된 20대가 검찰 수사관이 집에 들이닥치자 화장실 창문으로...
-
아직까지 ebs를 하나도 안 돌렸는데 ebs를 지금부터라도 문제만 풀어보는 게...
-
밸런스 게임 생각나서 물어봅니다! 지금 시점에서 1,2 능력 중 한 가지만 택할 수...
-
좀 러프하게 봤을 때 내신 1~2일 전으로 비유할 수 있다고 생각하는데 이정도면...
-
현우진 풀커리 5
현재 고2 정시파이터입니다. 메가패스와 19패스중 2개를 사야할지 1개만 살지...
-
국어 1일1실모 + 아수라 과제매일 , 강e분문학 하루 2강정도씩 수학 1일1실모...
-
너무 풀기 싫어서 돌아버릴 거 같음 문제 풀기도 귀찮고 미치겠다 춤추면서 영어 지문...
-
전공 시험공부 하고나면 아…나머지 어떻게 하냐 하다가 교양 과목 시험공부 하려고...
-
담배를 안필수가 없구나
-
"요즘 생활관 맞다"vs"세트장이다"...군인 틱톡 라이브에 '발칵' 4
현역 군인으로 추정되는 한 남성이 생활관(구 내무반)에서 틱톡 라이브 방송을 진행해...
-
과탐 끝물이라 걍 기조유지 할 것 같기도한데 과탐이 진짜 젤 고인듯
-
배울 거 많은가요? 개정 후 22번만 풀었긴 한데 나형 21 30도 다 하는 게 좋나요?
-
오늘본 실모들 6
둘다 찍맞없음 사설만 잘보는듯….. 수능때도 이렇게 나와야할텐데
-
해윙 5
-
국어 1일 1실모 수학 1일 2실모 탐구 1일 4실모하니까 4
지금 뇌에 쥐난거 같음 이제 이베스랑 오답이랑 영어해여하는데 아
-
시작인가요 체화 다음에는 뭐가 있져
-
1.(성형을 안 한 사람):성형을 할 계획이 있나요? 2:자기 애인이 성형을 했거나...
-
잠이 안온다 2
큰일났다 밤새야하는데
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절