Кроссворд по информатике.

вероятно, некоторые не совпадают, но как-то так
Форма мышления, в которой что-либо утверждается или отрицается (12 букв): УТВЕРЖДЕНИЕ или СУЖДЕНИЕ.
Операция логического умножения (10 букв): КОНЪЮНКЦИЯ.
Логические выражения, у которых последние столбцы таблиц истинности совпадают (12 букв): ЭКВИВАЛЕНТНЫЕ.
Одна из сторон понятия, которая определяет совокупность предметов (5 букв): ОБЪЕМ.
Логическая функция, которая образуется соединением двух высказываний в одно с помощью оборота речи "… тогда и только тогда, когда…" (15 букв): ЭКВИВАЛЕНЦИЯ.
Форма мышления, фиксирующая существенные признаки объекта (7 букв): ПОНЯТИЕ.
В каком высказывании никакая его часть сама не является высказыванием (7 букв): ЭЛЕМЕНТАРНОЕ или ПРОСТОЕ.