Логика высказываний: основные операции и примеры