TABLE 7 Logical Equivalences
Involving Conditional Statements
1°
2°
3°
(
4°
(
5°
)
)
6°
(
)
(
7°
(
)
8°
(
)
(
)
9°
(
)
(
)
(
)
(
)
(
)
)
(
(
)
)
TABLE 8 Logical Equivalences Involving
Biconditional Statements.
1°
(
)
(
(
)
(
)
2°
3°
4°
(
)
)
D’après le tableau p.28 de Discrete Mathematics and its applications, 7e edition, K. Rosen, Mc Graw-Hill, 2012.