ИСТИННОСТИ ТАБЛИЦА – см. Логика высказываний.