задачи на упрощение логических функций

примеры задач
F1=¬(A&B)v¬(ВvС)
F2=A&Сv¬A&С
F3=¬Av¬Bv¬СvAvBvС
F4=¬((А&В)v¬(А&В))
F5=¬А&¬(¬ВvА)

ответы
F1=¬(A&B)v¬(ВvС)=¬Av¬Bv¬В&¬С=¬Av¬B
F2=A&Сv¬A&С=С&(Аv¬A)=С&1=С
F3=¬Av¬Bv¬СvAvBvС=(¬AvA)v(¬BvB)v(¬СvС)=1v1v1=1
F4=¬((А&В)v¬(А&В))=¬(А&В)&¬(¬(А&В))=(¬Av¬B)&А&В=¬A&А&Вv¬В&А&В=0&Вv0&А=0v0=0
F5=¬А&¬(¬ВvА)=¬А&В&¬А=¬А&В

задачи для тренировки
а) А&В&¬А&ВvВ;
б) (АvВ)&(¬Аv¬В);
в) АvА&ВvА&С;
г) Аv¬А&Вv¬А&С;
д) А&(АvВvС);
е) А&Вv¬Вv¬А&В;
ж) (¬АvВ)&¬С&(СvА&¬В);
з) ¬А&¬СvА&Вv¬А&СvА&¬В;
и) А& (¬В&¬СvВ&С)vА&(В&¬Сv¬В&С).


Last modified: Saturday, 16 March 2019, 10:50 AM