Формули алгебри логіки

Реалізація функцій формулами. Рівносильність формул

Всі формули поділяються на три типи: 1. Тотожно – істинні (ТІ). 2. Тотожно-хибні(ТХ). 3. Нейтральні (Н).

1. Формула F називається ТІ, якщо її значення при будь-яких значеннях висловлювання змінних = 1.

2. Формула F називається ТХ, якщо її значення при будь-яких значеннях висловлювання змінних = 0.

3. Формула F називається Н, якщо її значення при будь-яких значеннях висловлювання змінних = 1 або 0.

Формули F1 и F2 називаються рівносильними, якщо їх значення при будь-яких значеннях висловлювання змінних однакові. Кароче ответ функции у одной и второй совпадают.

Основні тотожності алгебри логіки. Принцип двоїстості. Правила де Моргана для висловлень.