search

advancedresearch / avatar_graph

A library for Avatar Graphs
MIT License
6 stars 2 forks source link

Counter-proof to the 2^n conjecture #51

Open bvssvni opened 3 years ago

bvssvni commented 3 years ago

https://hog.grinvin.org/ViewGraphInfo.action?id=938

This was found when drawing the composition of the axiom (C, D) :- (A, B), (B, A), (A, C), (B, D). in Avalog.

Screen Shot 2020-10-26 at 20 51 25

bvssvni commented 3 years ago

Screen Shot 2020-10-26 at 21 21 07