То-то я когда-то логические схемы в программах на одних AND, OR и XOR строил.
Что неясно - так это причем тут ваш выпивон и импликация, а также наш разговор.
Импликация как булева функция ложна лишь тогда, когда посылка истинна, а следствие ложно. - это вот бред.
У импликации как операции две посылки и одно следствие :>
А входные параметры - это не посылка и следствие, а посылки. :> А следствие - это результат импликации. :>
И кто вам сказал, что можно применять импликацию где-то, кроме тех мест, где она подходит ? :>
С вашими алкогольными "рассуждениями" с елки (вашего темного леса) упасть можно. :lol:
На тот же манер - так как в логике существует операция инверсии - любая верная посылка есть неверна, а неверная - верна. :>>>
А 14/6 - это вы там алкоголь делите на шестерых ?
