Primera pràctica taules de veritat

Algunes pràctiques (primera entrada del pont) de taules de veritat.


[(p^q)^ ¬ r) ^ (q↔¬p). Solució. Contradicció.
(p^q^r) → s. Solució. Totes vertaderes menys 1, la segona filera. (recordeu que en aquest cas tindríem 16 fileres i si no ens indiquen en quin ordre hem de fer les operacions sempre és d'esquerra a dreta, com ja estem habituats).
[(p ↔ q) ^ (r^¬p)] → ¬p. Solució. Tautologia.