Таблица истинности:
А | В | A ИЛИ B | (A ИЛИ B) И A
--|--|---------|--------------
0 | 0 | 0 | 0
0 | 1 | 1 | 0
1 | 0 | 1 | 1
1 | 1 | 1 | 1
Проверка показала, что левая и правая части выражения равны при всех значениях А и В, следовательно, тождество верно.