전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://test.orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
상위권 분들도 공부할 때 노래 들으시면서 하나요? 12
집중 잘 되시나요? 언매나 수학 국어문풀 영어 이런거 할 때도 다 음악 들으시나요
-
아 쪽팔려 죽겠다
-
존나잘치네 진짜 ㅋㅋ 재즈듣다가 소름돋은건 처음임
-
미적분1 아닌가 수학1이 수학2라는 이름이 더어울리는데 고등수학이 수학1이고
-
작년에 되게 좋았는데
-
폭투가 뭐노이
-
영어 보통 2중나오는데 실모 난이도 풀만한가요..6모 76점 나와서 좀 두렵긴한데…...
-
헬린이 조언좀여 15
어좁+라운드숄더잇는데 머해야댐여
-
폭투 복사ㄷㄷ 0
폭투폭투
-
매머드 생존시기 2
매머드는 신생대 말에 출현했다가 멸종함 즉 0.5억년 전보다 이후에 출현함 기억하자.
-
말 왤케 웃기게 잘하심 ㅋㅋㅋㅋㅋ
-
해설 봐도 이해 안 될 거 같아서 미루고 미루는 중..
-
수학여행가서 현지인 옾붕이들이랑 실모배틀 뜨신 분 계신가요?
-
마스크 끼면 귀 개 아프고 숨 못쉬어서 답답하고 약간 뜨거워지고 개같았었는데 지금 생각해봐도 뭐같애
-
학교에 감기 걸린 애들 개많음 이미 걸린 애들보고 뭐라할순 없지만 하…
-
23244면 어디 감 12
ㅋㅋㅋㅋㅋ 본인 9평 성적임
-
정신과 약물 필요햔거 같은데
-
남은 22일 컨디션 관리 잘 하고 빈틈 잘 메워서 수능 잘 칠 수 있길...! 6평...
-
ㅈㄱㄴ
-
인생쉽지않다 0
벅업다
-
인쇄해서 필기하는거 진짜싫은데..
-
6모 96 9모 100인데 수바는 88-92 진동만 하네여
-
꿀?
-
이 과목만 파서 만점 받을까요
-
빼다가 쇠창틀에 떨궈서 둔탁한 소리가 .. 소리에 비해 흠집이 안나서 더불안함..
-
14 15 21 22 28 30 거의 이렇게 틀리고 푼건 거의 맞추는데 시간이 없다...
-
풀이길이보면알수있듯이좀쉽긴했어요1컷88봄
-
나 너무 팔로를 무차별적으로 함
-
중간고사 끝나고 학교 나오는데 수능 냄새가 물씬 나더라구요. 작년에 제가...
-
지금부터는 탐구 한과목만 파도 되나요??
-
11덮 신청완료 3
언미한사 더프정복예정:) 근데 분당까지 가야해서 좀 귀찮긴하네요...
-
기능론과 달리 갈등론은 기득권층의 이익이 우선되는 구조적 모순이 사회의 본질적...
-
6모 2컷, 9모 2컷, 10모 84점입니다. 평가원 기준으로 높3 ~ 2컷...
-
노베라 가정하고 같은 노력 했을때 기준? 사탐 안해봐서 감이 없습니다 1등급은...
-
경제러 있냐 1
수입액 계산할 때 관세+국제가격있으면 관세 제외하고 국제가격×수입량으로 계산해야함?...
-
내년에 현정훈t 6
대성마이맥 오시나요?? 풍문이 좀 도는 것 같은데
-
죄송합니다 12
안녕하세요. 저는 오르비에서 글을 쓰고 있는 오르비언 쌍사라고 합니다. 먼저, 저의...
-
출처:...
-
썰 좀 풀어주세요 ㅎㅎ 150930B가 얼마나 충격적이었던 건가요. 저렇게 말할...
-
까먹고 있었음.. 최저 젤 낮은 거라 이거 떨어지면 ㅈ됨
-
지금 기하가 미적에 비해 부족한건 표점 딱 하나인데 그동안 과목 분리된 이후로...
-
공부할때 노래 뭐들으심 13
클래식은 너무 처지는거같아서 별로라.. 적당히 신나는 노래 없나요
-
일본의 한 노벨 물리학상 수상자가 이런 말을 했었다. "세상에 더 나은...
-
ㅇㅈㄹ하다가 28번쯤 푸니까 아 ㅅㅂ 풀었던거네 깨달음 ㅈ같은거 어쩐지 너무 빨리풀리더라
-
15회 22제외 75분걸렸는데 시즌2푸는줄ㅋㅋ
-
화작 "100" 크크 다들 풀어보세요 퀄리티는 좋은 것 같아요
-
봇치더락 스티커 25
으하하,,70장 더온다네요
-
수학고민좀 그만하고싶다
-
앞자리 7은 너무 오랜만에보는데 27번땜에 다망함 뭔 저게 3점이야
-
어떻게 갑자기 아이돌판에서 많이 쓴다하는건가여 연관1도없어보이는데
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절