07:00 duration 7 minutes 0 seconds
CL - 12d - Counting
In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.