Logical Connectives Handout

July 13th, 2011 by Sergio de Biasi

This handout lists all unary and binary logical connectives.

The Logical Connective Handout (Version 1.1)

Example of rewriting a proposition using only NANDs

July 13th, 2011 by Sergio de Biasi

{NAND} is functionally complete

July 13th, 2011 by Sergio de Biasi

{AND, NOT} is functionally complete

July 13th, 2011 by Sergio de Biasi

{AND, OR} is not functionally complete

July 13th, 2011 by Sergio de Biasi

Functionally Complete Sets of Operators

July 13th, 2011 by Sergio de Biasi

From Truth Table to DNF or CNF

July 13th, 2011 by Sergio de Biasi

From Truth Table to DNF

July 13th, 2011 by Sergio de Biasi

Welcome To Sergio University

July 13th, 2011 by Sergio de Biasi