Exemple lògic de fórmules equivalents
De Wikisofia
La revisió el 13:53, 5 set 2015 per Sofibot (discussió | contribucions)
La revisió el 13:53, 5 set 2015 per Sofibot (discussió | contribucions)
Accions
[math]\displaystyle{ (¬p \wedge ¬q) }[/math] i [math]\displaystyle{ ¬(p \vee q) }[/math]
són fórmules equivalents:
Recurs