Поиск в словарях
Truth-table method
математика
метод истинностных таблиц