1) ( A отрицание конъюнкция B отрицание ) дизъюнкция ( A конъюнкция B ) 2) ( A конъюнкция B отрицание) дизъюнкция ( A конъюнкция B ) Построить таблицы истинности
1) A BA ^ ~BAB v ABA ^ BABAB~BA ^ ~BA ^ BA BA ^ ~BAB v ABA ^ BAB0010000100001011011100112) (A ^ B ^ ~B) v ABA ^ BABAB~BA ^ B ^ ~BA ^ B(A ^ B ^ ~B) v ABA ^ BAB001000010000101000110011
для обоих выражений:
1) A BA ^ ~BA B v ABA ^ BABAB~BA ^ ~BA ^ BA BA ^ ~BA B v ABA ^ BAB0010000100001011011100112) (A ^ B ^ ~B) v ABA ^ BABAB~BA ^ B ^ ~BA ^ B(A ^ B ^ ~B) v ABA ^ BAB001000010000101000110011