bi conditional statements Flashcards
1
Q
p<->q
A
(pā> q) and(qā>p
2
Q
p<->q
A
-p<->-q
3
Q
p<->q
A
(p and q) or (-p and -q)
4
Q
-(p<->q)
A
p<->-q
p<->q
(pā> q) and(qā>p
p<->q
-p<->-q
p<->q
(p and q) or (-p and -q)
-(p<->q)
p<->-q