שינויים

==== קשרים ====

* <math>A\to B</math> - "גרירה" (חד כיוונית)

* <math>A \or B</math> "או"

* פילוג <math>A\lor (B\land C)= (A\lor B)\land (A\lor C), A\land (B\lor C)= (A\land B)\lor (A\land C)</math>

* כללי דה מורגן <math>\neg (A \lor B) = \neg A \land \neg B, \neg (A \land B) = \neg A \lor \neg B</math>. תוכיחו אחד מהם בתרגיל הבית

==== הצרנה ====