Нет, отрицание б и отрицание а записываются в таблице истинности,как отрицание дизъюнкции этих переменных. _ _ ___ A^B=AvB