자명론

자명론 제 4장

논리기호 (24.11.30)

신뢰도 계수 0.3

IF: x ⇒ y
IIF: x ⇔ y

NOT: ¬x
¬OFF ⇒ ON, ¬ON ⇒ OFF
AND: x∧y
OFF∧OFF ⇒ OFF, OFF∧ON ⇒ OFF, ON∧OFF ⇒ OFF, ON∧ON ⇒ ON

NAND: ¬(x∧y)

NOT using NAND: ¬(x∧x)
¬(ON∧ON) ⇒ OFF, ¬(OFF∧OFF) ⇒ ON

AND using NAND: ¬¬(x∧y)
¬¬(OFF∧OFF) ⇒ OFF, ¬¬(OFF∧ON) ⇒ OFF, ¬¬(ON∧OFF) ⇒ OFF, ¬¬(ON∧ON) ⇒ ON