Логические операции над предикатами

Для предикатов выполнимы следующие операции:

Конъюнкция -этоновый предикат, который принимает значение истинно при тех и только тех значениях из вещественной области , при которых оба предиката и истинны одновременно, и ложно во всех других случаях.

Дизъюнкция -этоновый предикат, который принимает значение ложно при тех и только тех значениях из вещественной области , при которых оба предиката и ложны одновременно, и истинно во всех других случаях.

Отрицание предиката - это новый предикат, который принимает значение истинно при всех из вещественной области , при которых предикат принимает значение ложно и наоборот.