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