Основные логические операции и таблицы истинности. Как можно заменить импликацию