내가 아는 명제논리 지식
if then
화살표
OR
AND
NOT
if then, not, or, and
p->q의 대우는 not q->not p 다
원명제와 대우명제는 진리치가 같다
A가 거짓일때 모순이 생기면 A가 참이다(귀류법 증명)
(p->q)=(not p or q)
not(p->q)=p and not q
드모르간의 법칙
not(p and q)=not p or not q
not(p or q)=not p and not q
not not p = p
a->b->c = a->b and b->c
한없이 얕은 지식임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
추합 제발 7
-
있다면 무조건 입어야하나요?..
-
아직도 딮 안껴줌 왜 도대체 아직도 우승 근들갑에 지들만 있다고 생각하는건데
-
그건 아마 저일겁니다.. 학점교류 할래요
-
나를수험생시절로돌려보내줘
-
현실은 7호선..ㅠㅠ
-
어제 병나발 불어서 피곤한 관계로 오늘은 클라우드 반병마심 ㅋㅋㅋ 빨리 전출...
-
서울대에서 원하는 학과가 2개 여도 하나만 선택해야하는건가요 다른 학교로?정시...
-
대학시간표질문 8
시간표짤때 주2~3일 몰아서 짤려고하는데 그러면 불이익이 있나요?... 수업듣는게...
-
오늘 오후에 옴... 대범준쌤 사랑합니다 ♡♡
-
20대 중후반에 대학 가는 가까운 지인 고민이라 올려봄 과는 둘 다 컴공, 본가는...
-
학교에서 수능 만점자와 프로야구 드래프트 전체 1번이 같이 나오면 누가 더 화제일까요? 6
프로야구 드래프트 전체 1번 받을 정도면 야구에 꽤나 관심있는 사람이면 다들...
-
-
제마음대로 할수 있나요? ㅋㅋㅋ 정말 아무것도 모르겠내요 ㅠㅠㅠㅠ 18학점을 최대로...
-
누가 지우개 버리고갔는데 막 좋은 새로산 많이남은 지우개면 안가져가는데 ㅈㄴ...
-
건국대 합격생을 위한 노크선배 꿀팁 [건국대 25][위인전에 대하여] 0
대학커뮤니티 노크에서 선발한 건국대 선배가 오르비에 있는 예비건국대학생들을 돕기...
-
롤 못하겠다 1
짜증난다
-
ㅠㅠㅠㅠ
-
기숙사 테스트 ㅇㅈ 13
슬데 확정..... 4번 했는데 세 번 슬데네 허ㅓㅎ
-
라면 종류별로 사놓고 하루에 세 번 다 라면먹고 새벽에 야식으로 먹고 냉장고 문...
-
반반이 많네
-
평백 95에 영어 1이면 요즘 어디까지 가능한가요? 6
미적, 과탐기준 치대 약대진학 고민중입니다
-
어짜피 내신에서 할 거면 한 번 보는 거도 나쁘지 않을듯요.. 구매 완
-
왜 벌써 9시 35분이냐구
-
나도 교뱃 하하 6
핫
-
법륜스님 명언 명대사 인상깊은 책 구절 좋은 글귀 문장 0
법륜스님 명언 명대사 인상깊은 책 구절 좋은 글귀 문장법륜스님법륜스님의 명언과...
-
작년책으로 들어도 되려나
-
레어사세요 2
-
기분 조아지는법 없나 16
아무나 알려주세요
-
행정학과구요 패드랑 폰 다 애플이라 맥북 사려 했는데 주변에서 불편한 점이...
-
나 : 지피티야 f(g(x))=x가 모든 실수에 대해서 성립할 때 f(x)와...
-
과탐1은 50이면 과탐2는 몇임???
-
야메추 2
해줘
-
삼수 시작 0
3월부터 삼수 시작하면 늦은 건가요?
-
학칙인데 2번 조건이 걸리네요
-
강민철 신난 거 너무 귀엽네 ㅋㄹㅋㄹㅋㄹㅋ 그리고 새기분 되게 신경 쓴 거 같아서 기대되는구만
-
정시 추합되면 1
학교마다 추합발표 몇시고 몇시까지 등록해야되는지는 어떻게 알아봄?? 모집요강에...
-
-
재밌을것같긴한데
-
시대 vs 시대 3
ㄱㄱ
-
딴 학교 추합되면 걍 쌩돈 날리는거임?
-
담뇨단이라도??
-
별자리가될수있다면 10
좋겠구나
-
1월에 학원 들어오기 전에 알바해서 120 30정도 모아서 들어왔는데 메가스터디...
-
진짜임? 치명률도 높다는데 생각보다 기사가 없음
-
산책갔다 올게요 2
오늘도 안넘어지기!
-
설수리 정시 0
원원으로는 사실강 불가능이라고 봐야하나요? 서울대 연세대 고려대 강기원 시대인재
-
ㄹㅇ 저능아인가
-
쿨 진매쟁이들은 그런거 신경 안 쓰는 듯 진순을 퍼뜨리려고 버둥버둥 거리는 거 같음...
-
쿠킹덤하시는분 2
첫번째 댓글의 주인공이 되어보세요.