philo10-142.ltl 107 Bytes
Newer Older
1
!(([](([]((Catch1_10==1) && (Think_10==1))) -> (!(Catch2_6==1)))) <-> ((Catch2_4==1) && (<>(Catch2_4==1))))