其他: 邏輯運算(若p則q)

2017年8月6日星期日

P&Q
P v Q //或 (or)(||)

注意: P-> Q != ~P->~Q != Q->P

P -> Q = ~Q->~P = ~P v Q

真質表

P Q P->Q

-------------

0 0 1

1 0 0

0 1 1

1 1 1

~(P&Q)=~P v ~Q
~(PVQ)=~P & ~Q

(A&B)||(!A&B&C)=>B&(A||(!A&C))
A||(!A&C)=>(A||!A)&(A||C)=>A||C