Каждое составное высказывание можно выразить в виде формулы, в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции
1) определить количество строк по формуле: 2 в степени n; 1) определить количество строк по формуле: 2 в степени n; 2) определить количество столбцов, которое равно количеству логических переменных плюс количество логических операций; 2) определить количество столбцов, которое равно количеству логических переменных плюс количество логических операций; 3) построить таблицу истинности и внести возможные наборы значений исходных логических переменных. 3) построить таблицу истинности и внести возможные наборы значений исходных логических переменных.
Равносильными называются Равносильными называются логические выражения, логические выражения, у которых последние у которых последние столбцы таблиц истинности столбцы таблиц истинности совпадают. совпадают.