Answer to Question #58540 in Functional Programming for Melody

Question

1. When the following are true? The following symbols are used:
~ - negation,
v – disjunction,
& - conjunction,
-> - implication

1. p & ~p v q

2. ~(x v y) = ~x & ~y
3. ~( a -> ~b)

For each of the following, under what circumstances are they TRUE
For example, question 1 is true only when q is true

TRUE 1, FALSE 0

This is about boolean logic

Conjunction: a AND b, a ∩ b, a & b, a && b
True only if both a and b are true
Disjunction: a OR b, a ∪ b, a || b ,
False only if both a and b are false
Negation: NOT a
True only if a is false
Implication: a IMPLIES b
False only when a true and b false
Equivalence: a IS EQUIVALENT TO b, a = b, a == b ,
True when a and b are the same