שינויים
/* טבלאות אמת */
חשוב גם להכיר סתירות בסיסיות:
*<math>P\and \neg P</math>
*<math>(A \and B) \and (\neg B)</math>
*<math>(A\rightarrow B)\and A \and \neg B</math>
*<math>(A \leftrightarrow B)\and (A\rightarrow \neg B)\and A</math>
משתמש אלמוני