„Szerkesztő:Kizin/próba” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
197. sor:
== Ekvivalens formulák ==
#<math>p\wedge q\equiv q\wedge p
#<math>p\wedge (q\wedge r)\equiv (p\wedge q)\wedge r\qquad p\vee (q\vee r)\equiv (p\vee q)\vee r </math>
#<math>p\wedge (q\vee r)\equiv (p \wedge q)\vee (q \wedge r)\qquad p\vee (q\wedge r)\equiv (p \vee q)\wedge (q \vee r) </math>
#<math>p\wedge p\equiv p\qquad p\vee p\equiv p</math>
#<math>p \rightarrow q\equiv \lnot p\vee q</math>
#<math>p \leftrightarrow q\equiv (p \rightarrow q)\wedge (q\rightarrow p)</math>
#<math>\lnot (p\wedge q)\equiv \lnot p\vee \lnot q\qquad \lnot (p\vee q)\equiv \lnot p\wedge \lnot q</math>
Továbbá fontosak a következő észrevételek is:
▲<math>p\vee q\equiv q\vee p</math>
<math>p \wedge \lnot p\equiv h</math> kontradikció, így <math>p\vee \lnot p\equiv i</math> tautológia
<br>
<math>p\wedge i\equiv p\qquad p\vee i\equiv i</math>
<math>p\wedge h\equiv h\qquad p\vee h\equiv p</math>
| |||