ув. Проп., извините, я работаю не компе, а на мобилке . . .
Неудобно мне давать сс., а поищите и Вы. . .
См. Уч. Дискретной Логики !