* <math>\ (A \rightarrow B) \equiv ((\neg B) \rightarrow (\neg A))</math>.
'''משפט'''. כל פסוק לוגי שקול לפסוק שבו מופיעים רק קשר השלילה והקשרים "או" ו"וגם".
=== חוקי דה-מורגן ===
* <math>\ \neg (A \wedge B) \equiv (\neg A) \vee (\neg B)</math>.
'''===משפט'''. === כל פסוק לוגי שקול להצבת האטומים <math>\ A_i</math> ושלילתם <math>\ \neg A_i</math>, בפסוק שבו מופיעים רק הקשרים "או" ו"וגם". *<math>A \rightarrow B\equiv \neg A \or B</math>*<math>A\or B \equiv \neg (\neg A \and \neg B) </math>
'''תרגיל'''. כתוב את הפסוק המתאר שלשה '''לא חוקית''' בSET.