5
Formal logic and inferences
nDeMorgan’s Laws
nØ(j v y) ó (Øj & Øy)
nØ(j & y) ó (Øj v Øy)
nConditional Laws
n(j ® y) ó (Øj v y)
n(j ® y) ó (Øy ® Øj)
n(j ® y) ó Ø (j & Øy)
nBiconditional Laws
n(j « y) ó (j ® y) & (y ® j)
n(j « y) ó (Øj & Øy) v (j & y)