Задача по логике с решением. Логическая форма суждения.

Задание 8. Определите вид логической формы: тождественно-истинная, тождественно-ложная или выполнимая:

1.

Тождественно-истиная — это та формула, которая всё время (при любых входных параметрах) принимает значение 1 или истина, тождественно ложная — которая принимает всё время значение 0 или ложь,  выполнимая формула та, которая может принять и 0 и 1.

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

Расставим последовательность выполнения операций

Данная формула является выполнимой.

Loading