Булева алгебра
Помогите пожалуйста упростить f(x,y,z,p)=z→p^x<=y<=>x/z↓y⊕¬pVx, уже несколько десятков раз перерешивал, никак не выходят нужные импликанты.
По дате
По рейтингу
В свое время пользовался вот таким калькулятором http://tablica-istinnosti.ru/ru/
Упрощает, выводит таблицы истинности, карты Карно и другую ерунду