Problema sui valori di verità

[gbrambi]

Ringrazio chi mi aiuterà a risolvere il problema.
Chiedo cortesemente che la soluzione sia descritta in modo analitico così che possa capirla.
Trovare il metodo per scrivere a v b senza usare OR
1
0

[lore]

Usa De Morgan:

$a vv b = not(not(avvb)) = not(not(a) ^^ not(b))$

[Cheguevilla]

A or B => C <=> A=>C and B=>C
Comunque la risposta di lore è la più immediata e la più efficiente.

[gbrambi]

A or B => C <=> A=>C and B=>C
Comunque la risposta di lore è la più immediata e la più efficiente.

Vi ringrazio entrambi