Badanie Funkcji Logicznych

Funkcja zdaniowa – wyrażenie zawierające zmienne wolne

Funkcja logiczna –funkcja zdaniowa to taka która zawiera tylko zmienne i stałe.

Prawo logiczne – taka funkcja która niezależnie co się podstawi daje prawde

II metody dowodzenia:

Tabelkowa

A druga to nie wprost