전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://o.orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
고1/이번 중간까지 내신 6후7초로 박았고 (국어 서술형 앞면에 썼다고 18점...
-
Keep바탕 3회 - 96점 / 문학 1틀, 화작 1틀 / 난이도 9평급 킬캠...
-
국어황분들 2
(독서든 문학이든) 시간적여유가있는 앞부분에서는 거의다 맞추는데 시간적여유가없는...
-
이거지ㅋㅋ
-
님들은 이거 어케 품? 시간 없어서 그냥 미지수 막 쓰고 후딱 마킹했는데 뭐가...
-
난이도 어느정도인지 몰라서 조정식쌤 믿어봐 글편 보고 들어가려는데 난이도 어느정도인가요
-
기출푸는데 문제는 쉬워서 일단 맞았긴했는데 지문이 뭔 내용인지 잘 모르겠음..
-
화작 93 다들 어땠나요?
-
2024학년도 수능 국어 3등급 언저리 맞으신 분들 7
시험장에서 체감 난이도 어땠나요? (화작/언매 중에선 화작이면 좋을 것 같아요....
-
하 콧물 댕빡쳐 0
집중이 안되요 집중이
-
초반에는 강사가 하는 풀이 모방하면서 공부하는건가요 1
시간 지나면서 안보고도 쓱쓱 해보고
-
코피 4번에 고열이라서,,집에왔어요
-
어제 더프 보고 나니까 오늘 공부가 안되는 느낌 너무 피곤함
-
혹시모르니까 두개사서 수능날 두개가져갈까요
-
수학질문 3
이거 그래프 개형이 어떻게 되나요?
-
10더프 수학 과조건 10
10덮 수학 20번입니다. 20번 문제 과조건 아닌가요?? (나)부터 해석하면...
-
임정환이 정배인가
-
미적 2받기보다 빡센느낌
-
ㅈㄱㄴ
-
이거 3번에 ㄴ 반감기가 2분인데 그럼 1분 3분은 모르는거 아닌가요?
-
구성 엄청 풍부해졌네요 스킬만 5개 추가+분석서 주고 수학 n제? 3 문항 정도...
-
수능 종소리 저 노래 나오는걸 바뀐거 아니죠?.....
-
수능국어 풀다 0
밋딧핏 국어 푸니까 대가리 깨지겠네
-
영어 파이널 0
9모2 10모2 인데 영어 파이널을 봐야할까요
-
수능에 나오면 1컷 60이다 할만한걸로 최악의 상황 대비로 전국서바초반이나 서바...
-
정법+경제 특 1
여기 없음
-
문제 보자마자 머릿속에 풀이가 자동으로 재생되고 암기할때도 책 한번 쓱 보면 글자가...
-
사실 둘 다 풀 수 있을거같긴한데 뭐 먼저 주문할까요 흠
-
ㄹㅇ
-
나오긴하던데 님들 어케 풂?
-
ㅋㅋㅋㅋ제발…하
-
하나의 한양 4
-
빨더텅 할까요? 사문 생윤 4 3 나와요 실모 양치기 하려고 하는데 사설도 풀건데...
-
ㅊㅊ좀요.. 제벌!
-
이게 개인한텐 가장 이상적인 시험지 난이도
-
삼성 라이온즈의 장례식이 있을 예정입니다
-
어떡하죠
-
상위권 분들도 공부할 때 노래 들으시면서 하나요? 12
집중 잘 되시나요? 언매나 수학 국어문풀 영어 이런거 할 때도 다 음악 들으시나요
-
아 쪽팔려 죽겠다
-
존나잘치네 진짜 ㅋㅋ 재즈듣다가 소름돋은건 처음임
-
미적분1 아닌가 수학1이 수학2라는 이름이 더어울리는데 고등수학이 수학1이고
-
작년에 되게 좋았는데
-
폭투가 뭐노이
-
영어 보통 2중나오는데 실모 난이도 풀만한가요..6모 76점 나와서 좀 두렵긴한데…...
-
헬린이 조언좀여 15
어좁+라운드숄더잇는데 머해야댐여
-
폭투 복사ㄷㄷ 0
폭투폭투
-
매머드 생존시기 2
매머드는 신생대 말에 출현했다가 멸종함 즉 0.5억년 전보다 이후에 출현함 기억하자.
-
말 왤케 웃기게 잘하심 ㅋㅋㅋㅋㅋ
-
해설 봐도 이해 안 될 거 같아서 미루고 미루는 중..
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절