Elementary Logic
Elementary Logic
Elementary Logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
About Boolean Expressions<br />
Boolean expressions are essentially propositional formulae,<br />
though they may allow more things as atomic formulae.<br />
Boolean expressions:<br />
(x ∨ y ∨ z) ∧ (x ∨ y) ∧ x<br />
(x + y + z) · (x + y) · x<br />
(a ∨ b ∨ c) ∧ (a ∨ b) ∧ a<br />
etc.<br />
Propositional formula: (P ∨ Q ∨ ¬R) ∧ (¬P ∨ ¬Q) ∧ P<br />
Yih-Kuen Tsay (SVVRL @ IM.NTU) <strong>Elementary</strong> <strong>Logic</strong> FLOLAC 2011 9 / 64