Prawem rachunku zdań (tautologią) nazywamy zdanie, którego wartość logiczna zawsze jest równa 1111 (zdanie jest zawsze prawdziwe), niezależnie od wartości logicznych zdań które je tworzą.
