Matematyka dla liceum/Logika/Prawa rachunku zdań: Różnice pomiędzy wersjami

* '''I prawo De Morgana''':

*: <math> \neg ( p \or q ) \iff \neg p \and \neg q </math>

* '''II prawo De Morgana''':

*: <math> \neg ( p \and q ) \iff \neg p \or \neg q </math>

 

Prawa te są oczywiście '''tautologiami'''. W ćwiczeniu {{kolor|red|???}} <!-- dodać, gdy ćwiczenia będą gotowe --> zostaniesz poproszony o udowodnienie tych praw.