построить таблицу истинности для логической формулы

Таблица истинности для операции V
A B | A V B
0 0 | 0
0 1 | 1
1 0 | 1
1 1 | 1
Таблица истинности для операции ^
A B | A ^ B
0 0 | 0
0 1 | 0
1 0 | 0
1 1 | 1
Таблица истинности для операции ->
A B | A -> B
0 0 | 1
0 1 | 1
1 0 | 0
1 1 | 1
Исходя из этого строим таблицу для 4 переменных K, L, M, N - 16 строк
K | L | M | N | K V L | L^M^N | (K V L) -> (L^M^N)
0 | 0 | 0 | 0 _| _0__| __0 __| ______1
0 | 0 | 0 | 1 _| _0__| __0 __| ______1
0 | 0 | 1 | 0 _| _0__| __0 __| ______1
0 | 0 | 1 | 1 _| _0__| __0 __| ______1
0 | 1 | 0 | 0 _| _1__| __0 __| ______0
0 | 1 | 0 | 1 _| _1__| __0 __| ______0
0 | 1 | 1 | 0 _| _1__| __0 __| ______0
0 | 1 | 1 | 1 _| _1__| __1 __| ______1
1 | 0 | 0 | 0 _| _1__| __0 __| ______0
1 | 0 | 0 | 1 _| _1__| __0 __| ______0
1 | 0 | 1 | 0 _| _1__| __0 __| ______0
1 | 0 | 1 | 1 _| _1__| __0 __| ______0
1 | 1 | 0 | 0 _| _1__| __0 __| ______0
1 | 1 | 0 | 1 _| _1__| __0 __| ______0
1 | 1 | 1 | 0 _| _1__| __0 __| ______0
1 | 1 | 1 | 1 _| _1__| __1 __| ______1
На _подчеркивания_ не обращай внимания - они только для выравнивания по горизонтали.