전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
시대컨 0
과탐 브릿지랑 트러스 하실건가요???
-
이거 가격 잘못올라온거지..? 작년에는 37000원이였는데 뭐가 추가되나..?
-
햇볕이 강력
-
정치얘기할거면 0
합리적이게만 하면됨 문제는 중간에 화가 안나기가 쉽지 않음 정치 논객들도 토론하면서...
-
처리속도 ㅇㅈ 1
나이 설정을 잘못함
-
와...
-
중2때 수학학원 하나 처음 다닌거면 학군지 제외해도 엄청 늦은거 맞는데
-
아 잡담 태그만 하면 원래 모아보기에 안 보이는구나 1
모밴인 줄ㅋㅋ
-
응원 6시간 ㅋㅋㅋㅋㅋㅋㅋ 아.
-
같이 다니는 애 눈크고 얼굴짧고 볼통통 키작고 하튼 개귀요운데 내친구 남자애중에...
-
호에엥
-
평가원 #~#
-
평일 계획이고 올 독학이라 매일 학교 끝나고 독서실가요. 5시에 학교 끝나고...
-
급함
-
매운토크 좀 해볼까 21
새내기 때 연고대 합응 하러 갈때 룸메가 “고대 잡으러 가자” 라고 해서 잘못들어서...
-
현정훈 러쉬 0
지금 배기범 3순환 거의끝나가는데 시대 현정훈 쌤 강의를 듣고싶어요 고3이고 보니까...
-
아직 잠들면 감기걸릴 것 같은데... 그냥 잠깐 눈감고 쉬기는 딱 좋은듯...
-
솔직히 수학은 현우진, 영어는 이명학이고 국어는 누구 같아요?
-
학교기숙사는 아니고 다른 기숙사인데 김치전 반죽 흥건한 채로 나와서 다 버림
-
진짜 모름, 해본 적 없음, 갈드컵 열리면 팝콘 뜯을 거임
-
너무 덥다 0
여름옷 슬슬 꺼내야할듯
-
방역방역
-
올해 생윤사문 하려고 하는데 인강 개념 커리 누구탈까요?? 작년에 윤성훈으로 사문...
-
케이팝 근데 노래는 좋은거 많더라
-
누가 더 인생 망했는지 내기함
-
펜홀더 복귀 0
섹스
-
월급루팡 0
오르비하면서 돈 벌기
-
젭알
-
전문대간 고2친구가 어른들의 돌림힘에 어질어질하다네요 0
매운맛토크에 순수한 고딩이 정신을못차리는중이던데
-
영장청구를 서부지법에 하더니만 그것때문에 석방됐네 ㅋㅋㅋㄱㅋ 장애인들
-
없나요???
-
[속보] 경찰, 탄핵선고일 '갑호비상' 발령한다…경찰력 100% 동원 1
경찰이 윤석열 대통령에 대한 탄핵 심판 선고일을 대비해 전국적으로 '갑호비상'을...
-
김범준의 현강 커리를 보면 스타팅 블록 -> 더 허들링 -> 러너스 하이(파이널)...
-
나만 도파민중독인가 맨날 형누나들이 매운토크해서 귀틀막하는데 저도 그 토크에...
-
야구보고싶다 15
야구보실분?
-
돈 벌러 가자 8
석촌호수로 데이트 가고 싶은 날씨네
-
마싯는 음료 ㅊㅊ 13
마시면서 개 산책 시킬거임 집앞에 카페 거의 다 있음
-
니게tv 개국 141일차
-
중앙대 첨소공 1
안성캠이던데 입결은 서울이랑 비슷한가요? 경희대 공대처럼 그런가해서 여쭤봅니다..!
-
먹을약을안먹으면먹을약을안먹는것이고먹으면안되는약을먹으면먹으면안되는약을먹은것이고아이고신동...
-
이게 맞나?
-
교수님께서 그렇게 원하신다면 째드리죠
-
enfp였던 과거의나 어떻게 첨보는인간이랑 당일날 약속잡아서 밥먹고다닌거냐 지금은...
-
내용 많나요? 수분감 스텝1 다풀어가는데 슬슬 시작해야되나 고2 모고 풀엇을때...
-
공약) 유니폼 1명 그냥 드립니다 (조건부 댓글 추첨) 8
내일 이후로 2달 안에 오르비 접속해서 댓글 하나라도 달면 한명 골라서 원하는 팀...
-
작수 미적 백분위 87떴는데 기출을 제대로 공부한 적이 없거든요 그래서 이번에 기출...
-
고수탑 70%쯤에 드랍했다가 공통 컨 사려고 다시 신청했는데 QedN이랑 위클리콤...
-
하나 더 먹어버리기 괜찮겠지?
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절