5
Formal logic and inferences
n
DeMorgan’s Laws
n
Ø
(
j
v
y
)
ó
(
Øj
&
Øy
)
n
Ø
(
j
&
y
)
ó
(
Øj
v
Øy
)
n
Conditional Laws
n
(
j
®
y
)
ó
(
Øj
v
y
)
n
(
j
®
y
)
ó
(
Øy
®
Øj
)
n
(
j
®
y
)
ó
Ø
(
j
&
Øy
)
n
Biconditional Laws
n
(
j
«
y
)
ó
(
j
®
y
) &
(
y
®
j
)
n
(
j
«
y
)
ó
(
Øj
&
Øy
) v
(
j
&
y
)