전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
물론 수능이 얼마 안 남았지만 마음 편히 먹고 서로 힘내보고 달려봅시다
-
논술은 적폐다 3
수능 건동홍숙 ~ 국숭세단 공대 라인에서 성대 공학계열 논술붙어서 왔는데 나만 못...
-
선택과목은 따로 해야되는건가요
-
ㅈㄱㄴ
-
재종 vs 독재 1
ㅈㄱㄴ 장단점도 알려주새영
-
강E분 문학 0
진짜 비효율적인듯. 연계는 사용설명서만 봐도 충분한거같다.
-
83점 독서 3틀(가,나 지문에서 다 날라감 ㅠㅠ) 문학 3틀 언매 2틀 많이...
-
우기분 독서 풀어보고 어려운 지문 반 정도만 인강 들었는데 독서보다 문학이 좀...
-
진짜 국어 머리아프게 하네
-
화학 타이머로 10분남음 -> 아직조금은여유있음 화학 3시 55분임 -> 그냥 ㅈ된것같음
-
남편이 결혼하고 딴 여자 데려오겠다고 난리침 상사병 걸리고 지랄나서 그 여자 첩으로...
-
등급대가 전체적으로 낮아지면 서성한라인부턴 작년보다 입결이 하락하는게 맞나?...
-
자지말까 18
잠이안오는디
-
서성한도 명문대겠죠 45
연고대 아니면 안간다 마인드였는데 요즘은 점점 현실을 파악하면서 눈이 낮아지고 성적에 간절해져서..
-
진짜 너무 불안하네 … 그 헬스터디 마혜림님도 직전까지 국어 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 해결했어요 << 부적절