s452675/WDI_ZAD.DOM
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
master
WDI_ZAD.DOM/Zad.Dom_11.22/zad3.txt
Wojciech Renk abbac14e38 Zad.Dom
2020-01-16 20:29:45 +01:00

1 line
75 B
Plaintext
Raw Permalink Blame History

f(a,b,c)=~(a ∩ b ∩ c) ∩ (~a U ~b U c) ∩ (a ∩ ~c) ∩ (a U ~b U c)
Reference in New Issue View Git Blame Copy Permalink