Question

Составить таблицу истинности для формулы x v y & (x→y). Определить,
является ли формула тождественно-истинной или тождественно-ложной.

Answer 1

Формула является тождественно истинной, если она истинна при любых значениях входящих в неё переменных

Составляем таблицу истинности:
A | B | F
0 | 0 | 1    0(0(¬0 v ¬0))
0 | 1 | 1    0(1(¬0 v ¬1))
1 | 0 | 1    1(0(¬1 v ¬0))
1 | 1 | 1    1(1(¬1 v ¬1))

Формула А (В (¬А v ¬В) ) является тождественно истинной, так как она истинна при любых значениях переменных.