P 9 F F FT Truth Table PAq ~ (p^q) p⇒ 9 ~(p^g) ⇒ (p⇒ q) qand~ (p g) ⇒ (p ⇒ y) are logically equivalent. None are logically equivalent. Op⇒ yand (PAq) → (p →4) are logically equivalent. pm and p;ale logically eduvalent

Exercise 6| We introduce a language in which there are: - A constant me which represents the person who speaks, and a constant vegetables which represents the corresponding food; Two symbols of binary relations eat and likes: eat(p, a) represents the property "p eat a" and likes(p, a) the fact that "p likes a ". 1. Give the logical formulas that correspond to the following expressions: (a) I like everything I eat. (b) There are things that I do not like but that I eat anyway. (c) Those who do not like vegetables eat nothing. (d) If everyone agrees to eat something he does not like then I eat vegetables.

Boolean expression of the logical expression [(TV-F) ^ ¬(FA T)]v(¬TVF) is (1+0) + (0-1)) + (I + 0) o(1+0) (0-1)) + (I +0) (1 +0) (0-1)) + (1 + 0) None Click Save and Submit to save and submit. Click Save All Answers to save all answers. DELL F1Z

Simplify (q^(mv-q)) to ¬qv-m Distributive (аль) (алс) (avb)^(avc) Commutative avb аль De Morgan's (аль) (avb) Conditional a-b a+b ||| = ||| Laws a^(bvc) av(bлc) bva bлa -av-b -а^-b avb (a+b)^(b→a) Complement av¬a = T алпа E F ¬T EF -F ET F Identity алт 3 а avF E a Double negation ¬¬а = a