Proposition Logic
lAlso known as Switching Logic
lBasic elements are
l0 (false)
l1 (true)
lproposition variables (take values 0 or 1)
leither
lfunctions (functional view)
lconnectives (expression view)