Построение таблицы истинности

Обратите внимание, что запись abcd∨def в вашем задании обозначает, что между переменными abcd и def стоит знак ∧, который опускается.
То есть, данная запись эквивалентна записи (a∧b∧c∧d)∨(d∧e∧f).
Запись abcd обозначает, что отрицание распространяется на все четыре переменные. В форму это нужно вводить так: ¬(a∧b∧c∧d).