שינויים

'''תרגיל'''. הסבר מדוע פסוק שמופיעים בו רק הקשרים הלוגיים "או" ו"וגם" אינו יכול להיות טאוטולוגיה.

*<math>P\and \neg P</math>

*<math>(A \and B) \and (\neg B)</math>